DEF=json-in
EXT=json-in
TESTDIR=.
KAST_FLAGS=--expand-macros --input json --output pretty

include ../../../include/kframework/ktest.mak
